FOCALISATION D'ONDES ULTRASONORES GÉNÉRÉES PAR LASER

Focalisation and Classical Realisability

We develop a polarised variant of Curien and Herbelin’s λ̄μμ̃ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised when cut-free), such as Girard’s classical logic LC or linear logic. This gives a setting in which Krivine’s classical realisability extends naturally (in particular to callby-value), with a presentation in terms of orthogonal...

Tomographie par cohérence optique pour la chirurgie laser du glaucome

COMMERCIAL FISH SPECIES IDENTIFICATION WITH ISOELECTRIC FOCUSING: APPLICATION TO BREADED FISH PRODUCTS [IDENTIFICATION DES ESPÈCES COMMERCIALES AVEC LA FOCALISATION ISOÉLECTRIQUE: APPLICATION AUX PRODUITS DE LA PÊCHE] by/par

The globalization of fish and fishery products markets combined with the increase of consumer demand lead to a huge variety of non-endemic fish species in the marketplace. This might raise concerns about the inability of fish inspectors to distinguish fish species with similar morphological characteristics, particularly when they are processed and sold as fillets or slices in the country of ori...

de synthèse commémoratif du centenaire de l ’

When a powerful femtosecond laser pulse propagates in an optical medium, self-focusing occurs. Normally, it is the most powerful part (slice) of the pulse that selffocuses first during its propagation. Self-focusing is balanced by the creation of plasma in the self-focal volume, which defocuses the pulse. This balance leads to a limitation of the peak intensity (intensity clamping). The series ...

Mesures de compositions locales dans les flammes vià plasma induit par laser

In order to reduce pollutant emissions from gas turbines, premixed combustion offers an attractive solution. However, in practical cases, the quality of the mixing may be difficult to assess and one need techniques to actually measure the local and instantaneous ratio between fuel and oxidizers. To provide such data, a technique was used that uses a Nd:YAG laser, focused through a spherical len...